postulate of order

数序公设